dévêtisseur

● dévêtisseur nom masculin Dans un outillage de presse à découper, élément ayant pour fonction d'extraire le poinçon de la bande ou de la pièce dans laquelle il a pénétré.

Encyclopédie Universelle. 2012.